1. Artificial Intelligence in Logic Design
پدیدآورنده : by Svetlana N. Yanushkevich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
2. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
3. Automated Deduction -- Cade-13 :
پدیدآورنده : edited by M.A. McRobbie, J.K. Slaney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
4. Automation of Reasoning :
پدیدآورنده : edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
5. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
6. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده : I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
7. Current trends on knowledge-based systems
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
006
.
3
C976
2017
21
8. Epistemic logic for AI and computer science
پدیدآورنده : Meyer, John-Jules Ch.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
M495
1995
9. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
10. Fuzzy Databases :
پدیدآورنده : by Frederick E. Petry.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
11. Fuzzy Relational Systems
پدیدآورنده : by Radim Bělohlávek.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
12. Fuzzy Sets in Approximate Reasoning and Information Systems
پدیدآورنده : edited by James C. Bezdek, Didier Dubois, Henri Prade.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Data structures (Computer science).,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
13. Granular Computing
پدیدآورنده : by Andrzej Bargiela, Witold Pedrycz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
14. Intuitionistic Fuzzy Sets
پدیدآورنده : by Krassimir T. Atanassov.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Economics.,Logic, Symbolic and mathematical.
15. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
16. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
17. Logic : a foundation for computer science
پدیدآورنده : Sperschneider, V.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S64
18. Logic : a foundation for computer science
پدیدآورنده : Sperschneider, V.
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S6787
1991
19. Logic and Grammar :
پدیدآورنده : edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
P98
.
E358
2011
